formal logic أمثلة على

• Formal logic is not used to determine whether or not an argument is true.
  لا يُستخدم المنطق الرسمي لتحديد ما إذا كانت الحجة صحيحة أم لا.
• Keith Devlin has been researching the use of mathematics and formal logic in implementing Heuer's ACH paradigm.
  وقد بحث كيث ديفلين عن استخدام الرياضيات والمنطق الرسمي في تنفيذ نموذج أش هوير.
• The development of formal logic played a big role in the field of automated reasoning, which itself led to the development of artificial intelligence.
  لعب تطوير المنطق الرياضي دورًا كبيرًا في مجال التفكير الآلي، والذي أدى بدوره إلى تطوير الذكاء الإصطناعي.
• However, formal logic makes no such guarantee if any premise is false; the conclusion can be either true or false.
  وبكل الأحوال فإن المنطق الرسمي لا يقدم اي ضمانات في حال كون أي فرضية خاطئة وحينها يمكن أن يكون الاستنتاج صحيحًا أو خاطئًا.
• His laboratory at Stanford (SAIL) focused on using formal logic to solve a wide variety of problems, including knowledge representation, planning and learning.
  وقال في مختبر ستانفورد (شراع) الرسمية التي تركز على استخدام المنطق لحل مجموعة واسعة من المشاكل، بما في تمثيل المعرفة، والتخطيط والتعليم.
• One of the theorems proved by Ramsey in his 1928 paper On a problem of formal logic now bears his name (Ramsey's theorem).
  واحدة من النظريات التي تمت برهنتها بواسطة رمزي في مقالته في عام 1930 حول مسألة في المنطق الرسمي تحمل اسمه الآن (مبرهنة رمزي).
• Using elements of formal logic for generality, analysis proceeds from a set of seemingly reasonable axioms of social choice to form a social welfare function (or constitution).
  من خلال استخدام عناصر المنطق الرسمي للعمومية، ينتقل التحليل من مجموعة من بديهيات الخيار الاجتماعي لتكوين دالة رفاهية اجتماعية (أودستور).
• In this sequel, Logic for Use, Schiller attempted to construct a new logic to replace the formal logic that he had criticized in Formal Logic.
  في هذه التتمة، التي بعنوان (المنطق للاستخدام)، حاول شيلر بناء منطق جديد ليحل محل المنطق الرسمي الذي انتقده في كتابه (المنطق الرسمي).
• This critique of synthetic a priori knowledge argues that the only truths which are self-evident to reason are statements which are true as a matter of definition, such as the statements of formal logic and mathematics.
  يجادل هذا النقد فكرة أن الحقائق الوحيدة البديهية في العقل هي الحالات التي تكون صحيحة بشكلٍ تام كالتعريف مثل بيانات المنطق والرياضيات الرسمية.